relation as first-class objects